5

Composition and behaviors of probabilistic I/O automata

Year:
1997
Language:
english
File:
PDF, 2.46 MB
english, 1997
12

Concurrent transition systems

Year:
1989
Language:
english
File:
PDF, 5.64 MB
english, 1989
15

Operational Semantics of a Focusing Debugger

Year:
1995
Language:
english
File:
PDF, 737 KB
english, 1995
19

Formally specifying CARA in Java

Year:
2004
Language:
english
File:
PDF, 489 KB
english, 2004
20

Proving entailment between conceptual state specifications

Year:
1988
Language:
english
File:
PDF, 2.38 MB
english, 1988
24

A proof of the Kahn principle for input/output automata

Year:
1989
Language:
english
File:
PDF, 678 KB
english, 1989
29

MEDICAL CARE IN THE UNITED STATES

Year:
1970
Language:
english
File:
PDF, 493 KB
english, 1970
35

A Reality Check on Hardy–Weinberg

Year:
2013
Language:
english
File:
PDF, 122 KB
english, 2013
36

Semaphore primitives and starvation-free mutual exclusion

Year:
1982
Language:
english
File:
PDF, 1.33 MB
english, 1982
42

Aesthetic Plastic Surgery

Year:
1981
File:
PDF, 152 KB
1981
44

About Intellectual Talent

Year:
1978
Language:
english
File:
PDF, 1015 KB
english, 1978
45

Monopolar and bipolar stimulation of the brain

Year:
1962
Language:
english
File:
PDF, 544 KB
english, 1962
46

A.N. Kolmogorov's defence of Mendelism

Year:
2011
Language:
english
File:
PDF, 568 KB
english, 2011